منابع مشابه
Filtered colimits in the effective topos
It is shown that the “constant sheaves” functor ∇ : Sets → Eff does not preserve 1-filtered colimits, and that as a consequence of this, the full subcategory of Eff on the countable projective objects is not dense. © 2005 Elsevier B.V. All rights reserved.
متن کاملMorava E-theory of Filtered Colimits
Morava E-theory E∨ n∗(−) is a much-studied theory in algebraic topology, but it is not a homology theory in the usual sense, because it fails to preserve coproducts (resp. filtered homotopy colimits). The object of this paper is to construct a spectral sequence to compute the Morava E-theory of a coproduct (resp. filtered homotopy colimit). The E2 term of this spectral sequence involves the der...
متن کاملColimits of Monads
The category of all monads over many-sorted sets (and over other " set-like " categories) is proved to have coequalizers and strong coin-tersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms and have arbitrarily large joint pre-fixpoints. In contrast, coequalizers fail to exist e.g. for monads over the (presheaf) category of graphs. For more ge...
متن کاملColimits for Concurrent Collectors
This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The specification formalism is mainly based on declarative programming paradigms, the imperative aspect is dealt with by using monads. We also sketch the use of temporal logic in connection with monadic specifications.
متن کاملCanonical Selection of Colimits
Colimits are a powerful tool for the combination of objects in a category. In the context of modeling and specification, they are used in the institution-independent semantics (1) of instantiations of parameterised specifications (e.g. in the specification language CASL), and (2) of combinations of networks of specifications (in the OMG standardised language DOL). The problem of using colimits ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2020
ISSN: 0166-8641
DOI: 10.1016/j.topol.2019.106944